761. Topics in the theory of computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
762. Topics in the theory of computation :
Author: edited by Marek Karpinski and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
Classification :
QA267
.
I56
1983
763. Topics in the theory of computation
Author: / edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA267
،.
I56
1983
764. Topics in theoretical computer science :
Author: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA75
.
5
765. Topological quantum computation
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Complex manifolds,Congresses ، Quantum theory,Congresses ، Quantum computer
Classification :
QA
613
.
2
.
N74
2008
766. Transactions on Engineering Technologies :
Author: Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA5
.
W67
2017
767. Transactions on Petri Nets and Other Models of Concurrency X
Author: \ Maciej Koutny, Jörg Desel, Serge Haddad (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Petri nets -- Congresses.,Computer science -- Mathematics -- Congresses.,Computer science.,شبکههای پتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,علوم کامپیوتر
Classification :
QA267
.
T71
2015
E-Book
,
768. Transactions on computational science XXXII :
Author: edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biometric identification-- Security measures, Congresses.,Computer security, Congresses.,Artificial intelligence.,Computer science.,Image processing.
Classification :
QA76
.
9
.
A25
769. Transactions on engineering technologies :
Author: Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
Classification :
TA5
770. Transactions on engineering technologies :
Author: Sio-Iong Ao, Len Gelman, Haeng Kon Kim, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA5
771. Transactions on petri nets and other models of concurrency VII
Author: Kurt Jensen [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
Classification :
QA267
.
K878
2013
772. Trends and Perspectives in Modern Computational Science.
Author: George Maroulis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
773. Unconventional models of computation, UMC'2K :
Author: I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
Classification :
QA76
.
9
.
S63
I268
2001
774. Understanding and interpreting machine learning in medical image computing applications :
Author: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
Classification :
RC78
.
7
.
D53
I58
2018
775. Unusual applications of number theory: DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
Author: Melvyn B. Nathanson, editor
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Number theory
Classification :
QA
241
.
D56
2000
776. Unusual applications of number theory : DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
Author: Melvyn B. Nathanson, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Number theory
Classification :
QA
241
.
D558
2000
777. User-centered interaction paradigms for universal access in the information society : 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004 : revised selected papers
Author: Christian Stary, Constantine Stephanidis )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، User interfaces )Computer systems(,Congresses ، Human-computer interaction
Classification :
QA
76
.
L28
Vol
.
3196
778. VR, simulations and serious games for education /
Author: editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
Classification :
LB1044
.
87
779. Variational, geometric, and level set methods in computer vision : third International Workshop, VLSM 2005, Beijing, China, October 16, 2005 : proceedings
Author: Nikos Paragios...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer vision,Methodology -- Congresses ، Computer vision,Congresses ، Image processing -- Digital techniques
Classification :
QA
76
.
L28
Vol
.
3752
780. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
